Elementary_polyhedron loading ...