LisitinProofsLisitsinFirstCut