Validity constraint