そもそも文法の厳格さと論理の厳格さは完全に別物だからな