tetrahedron_rotation