QuasiEquivalence up to and including Lem 4.1.2 is done. Documentation and clean-up sorely needed.