Verify x 3 y