Formal Top 3D Printable Models