Alternate Definitions for Cirque

include archived terms