(not d)
(if (iff d e) f)