進次郎構文は「A=A」という主張だから論理的にTrueではあるんだけど、これは「A≠A」だから更に進化してる