Alternate Definitions for Hohmannite

include archived terms