Alternate Definitions for ef1

include archived terms