LC ~High-Res~LC ~Low-Res~Les Proofs