Twenty five years after reading "Dirk Gently's Holistic Detective Agency", I learn that the sofa stuck in the stairway subplot is actually an unsolved math problem: https://youtu.be/bUNl_jJMTOw