Finishing the coverings<->gsets.