なんでそうなるかと言うと、（計算機の）状態が「必ず変化しない」procedureなんて、中の処理が実際には空っぽとかじゃなければありえないだろうし＞＜