if -> if and only if