Castillo de Edimburgo 🏰, QED 🔲