うむ。調べても出てこないってことは調べ方が悪いのでちょっと一旦諦める。
こういう時は深追いしても無駄なので、後日なんか閃いた時にもう一回調べよう。