Ifs with leq neq etc.