Video by Experimental Learning|James, discussion with Paul Raymond-Robichaud
https://youtu.be/_RdjsVngZz8
Many more definitions and theorems than proofs
50% reviews, 50% reformulating
Leeches should be reformulated
Leeches = if it gives me a headache to answer