Restoring Proof (VII + XI) *RP LOG*