>>448
綺麗な定義であれば、A→A=真とかはどうかな。