slides_prop_logic2.pdf