f 0 true f 1 false f s x f x if true s x s y s x if false s x s y s y g x c y c g x y g x c y g x if f x c g s x y c y rand x x rand x rand s x s 1 true 0 c 1 f 1 if 3 0 0 1 0 rand 1 g 2 false 0 FULL