Title: Algebraic constraints