Made all_covered a bit wiser, hopefully