いろいろな想定をしてルールを決めるの、コストが掛かるけど、それをちゃんとしてくれる公式は本当にえらい。