「カバーできる」事が明示的にコードで示せないのが気になります。