⁴Read the trailing p in names like “idp”, “numberp” etc. as “predicate”, e.g. “numberp” meaning “number predicate”.