Alternate Definitions for Substitutions, Linear

include archived terms