Alternate Definitions for Derbylite

include archived terms