If x 3 y 5