creating other types of constraints to test