## Link
https://youtu.be/E9WIP5YqQt8
## Clips
### For some random reason, set theory won
start = 3:20
end = 4:20
### The software I just showed you is called Lean. Major mathematics funding agencies are now involved
start = 13:40
end = 15:40
### Everything is wrong!
start = 17:06
end = 20:06