Perfect mix of expressiveness and constraints