They have to plus enable it to be possible for users to examine otherwise alter these types of constraints