separate constraint and axioms