Quotient closure theory - aaron