Formal 3D Printable Models