(if true 42 (/ 1 0))