Wrote up some more about formal systems and semantics