Have a go at coming up with models of constraints.