I continued talking about remove on treaps; the code and proof are on day26.
No exercise today, finish the project.