> and that the equations that defined Gerver’s sofa also satisfied those conditions.

> showing that Gerver’s sofa was the biggest possible shape that could move through the hallway without getting stuck at its corner

But there could be other shapes that also satisfy these conditions and could also have the biggest possible shape, correct?