Abstract constraints

Coming soon.