notified of each constraint as it is applied, so a caller can collect provenance (e.g. into the query's evidence)
notified of each constraint as it is applied, so a caller can collect provenance (e.g. into the query's evidence)