from left to right

Test prop 1, EQ, test prop 2