Proofs LC revision