Joseph, C. A. B. Spivak. CWS/cf 2016, 31.