Rosser provability and the second incompleteness theorem - Taishi Kurahashi (2019)