\q1 \v=18 \v~=\w No|strong="H3808"\w* \w mention|strong="H2142"\w* \w shall|strong="H3808"\w* \w be|strong="H3808"\w* \w made|strong="H6213"\w* \w of|strong="H2451"\w* \w coral|strong="H7215"\w* \w or|strong="H3808"\w* \w of|strong="H2451"\w* \w crystal|strong="H1378"\w*: \¬q1 \q1 \p~<