Үүнийг мессежээр илгээх: Domain Theory and the Logic of Observable Properties