Slightly better expression of constraints