cc'ed to https://en.wikipedia.org/wiki/John_Hopcroft and https://en.wikipedia.org/wiki/Robert_Tarjan

What was the piece of furniture?