1 A Shepreth Plan Proof L