なんで副作用って困るの？　よく聞くはなしでは
　副作用あり＝＞参照透過性がない＝＞数理論理的でない
数学って、まったく副作用のない構成になっているの？