Truncated tetrahedron

operations