built-in constraints