Added a few more example constraints