delta*delta changes: intro to definition of coverage