Algebraic constraints

by James Gosling