Anfonwch hwn fel neges destun: Topos quantum logic and mixed states