constraints to be checked