Debugging: tet construction