Anfonwch hwn fel neges destun: Domain Theory and the Logic of Observable Properties