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