and ignore prove in coverage