E. A. Wuenschel, “The definability of the Assumption”, CTSA, vol. 2, Sep. 2012.