a constraint is part of a theory