Lingua Universalis vs. Calculus Ratiocinator by Jaakko Hintikka