Quadrivial definitions