Constraints as documentation