If (Falls)

If refers to a distinction to be made between different possible cases. The case "if x=2 then y must be greater 10" implies that there are other cases to be considered where x is not equal to 2.