vajra
alternate name: vajra
type: DefinedTerm