Figure: Venn diagram of validation predicates