Symbol: DE_COVERED