Alternate Definitions for Coquandite

include archived terms