Seol mar théacs é seo: Testing semantics: Connecting processes and process logics