Mark_Friedenbach comments on Why I want to make a logical language

[Mark_Friedenbach]

Just FYI you posted to the front page, not your personal blog.