Seol mar théacs é seo: Domain Theory and the Logic of Observable Properties