Working implementation of coverage given an environment