@VojtechStep@mathstodon.xyz @whitequark@social.treehouse.systems Which big tetrahedron are you thinking of?