Is that so? I was familiar with the name and history, but I never had the pleasure of visiting or directly dealing with it. So he must have a connection to Edgeworth too, after all. It seems that everyone here I don't know at least knows him.