Elimination of definite fold II - Osamu Saeki (2017)