Inglis, M., & Simpson, A. (2008). Conditional inference and advanced mathematical study. Educational Studies in Mathematics, 67(3), 187-204. https://doi.org/10.1007/s10649-007-9098-9