>>7
論理的な初期目的はそうだけど「訂正が正しい訂正である」ことを
どうやって認識するんだね?