IF a THEN b ELSE c FI := IF d THEN e ELSE f FI #### ($a ? $b : $c) = ($d ? $e : $f);