If x 7 3 then