Module: Quadratic sorts