Hyperplane_at_infinity loading ...