AllToTet
