 "N" but lacks abstraction (except as part of the named constants, if these are considered non-atomic).This can also be viewed as anonymising variables, as "T"("x","N") removes all occurrences of "x" from "N", while still allowing argument values to be substituted into the positions where "N" contains an "x".The conversion function "T" can be defined by