if, not, then