>>600
いや実際15年前くらいまでは誰でもトイレって名称で、それで誰でも彼でも勝手に使ってしまったから名前を変えたって経緯がちゃんとある