Constraint based assertions