more on coverage and dom abstraction