A note on derivability conditions - Taishi Kurahashi (2019)