あって困る機能ではないが、Sは仮定の必要がないから簡易的なんだろうね