The reference compares proof is now nearly complete