Fix name of each constraint
Add the .matches() rule