LR Evolution Proof