普通に考えたらstackなりmathlogなりxなり行けばいいのに
それをしないということは、建前の理屈ってことなんじゃないの