Alternate Definitions for ef0

include archived terms