<> (ife #t ?t ?f) ?t <> (ife #f ?t ?f) ?f (ife #t yes no)