if with known condition