Changed settings so that everything comes through PRLie cohomology.