Made tiny bit of progress on Tetrahedron.