Planes are changed to ax+by+cz=d, so the plane with normal (0, 1, 0) and distance 1 is y=1. Operators == and !=. Former-commit-id: 5267a183a9e6fb490de099d536ea2f64558f674d