#80 added constraint to validate assertions