[deleted] comments on The mechanics of my recent productivity

[[deleted]]

I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie