Generic classes used for validating constraints.