Does 'set in a type (as boldface) readily distinguishable from that of the lightface running text which defines, explains, or identifies the entry' provide a contradiction to the established premise 'The boldface type will be distinct from the lightface text.'
set in a type (as boldface) readily distinguishable from that of the lightface running text which defines, explains, or identifies the entry###The boldface type will be distinct from the lightface text.