Putting in formulas what He, She and made is, as They knows,  requires some abstraction.  They in fact defines: