(if #f #f #t) #t 0