first documentation of constraints