geometry :: Boxed3d :: back
require: back <= bottom
# Back bound # # require: back <= bottom fun back: N is abstract
redef var back: N
redef fun back do return z
redef fun back do return point_left.z.max(point_right.z)