J. T. Baldwin and A. Mueller, “Autonomy of Geometry”, AUPC, vol. 11, pp. 5–24, Dec. 2019.