KEMP/RONDEAU fall mini proofs 2020