Alternate Definitions for extension

include archived terms