LRev and Heavy Knowledge