Re: [math-fun] Dan Romik's ambidextrous moving sofa constant