Check Constraint#empty? too