(if (if a b 0) (< c 5) 0)