coverage checking exists