Constraint check efficienter.