Simon writes (this is a copy of the question he has published in Coding Train’s Slack chat):
Hi! I was unconvinced on a Brilliant puzzle:
The problem (at https://brilliant.org/practice/treaps/?p=4):

Me working on it…

The solution on Brilliant was different:


However, only 1 page earlier, the explanation said:

…Contradiction?