if     X then Y else Z
unless X then Z else Y