(if a b c)