証明の細部を修正し続けることまで業績に数えたら
先取権争いがあったりするときは
問題がはっきりするどころか
誰にpriorityがあるのか何が何やら分からなくなるだけだと思う