Figure:
Venn
diagram of validation predicates
Open figure
See Venn diagram of validation predicates