]> violates [ VC: Unique Element Type Declaration ]