ChristianKl comments on Why I want to make a logical language