I. Dickie, “A Lemma from Nowhere”, CRHF, vol. 52, no. 154, pp. 11–47, Sep. 2020.