Alternate Definitions for Mixed

include archived terms