思考が同型だったら同一とみなしても問題ないがな