Anfonwch hwn fel neges destun: Consistent and Complementary Formal Theories of the Semantics of Programming Languages