A programmatic way of building constraints that evaluate to true or false.
