Wuenschel, E. A. The Definability of the Assumption. CTSA 2012, 2.