T. Nakamura, “Situation partition and shifted evaluation of distributivity”, SuB, vol. 25, pp. 684–701, Sep. 2021.