Proof by descent is a nice method used for example by Fermat.
Here a nice counting up and counting down happens in a
Crossword Mystery: the CEO of an AI company gets murdered in an elevator.
The same elevator type we have in the Harvard science center. I watched
this movie yesterday. Today we got stuck shortly in one of the elevators ....