LaxsonFirstCutLaxsonProofs