Leo's Lakeside Session Proofs!

6440
6442
6445
6447
6454
6457
6460
6461
6463
6468
6470
6472
6474
6475
6483
6483a
6487
6490
6493
6503
6509
6512
6513
6515
6516
6517
6517a
6520
6526
6533
6534
6535
6535a
6541
6546
6549
6553
6555
6562
6568
6568a
6575
6598
6622
6654
6655
6662
6675
6676
6695
6701
6702
6703
6703a
6708
6730
6751
6753
6764
6832
6843
6857
6864
6871
6871a
6872
6881
6889
6909
6909a
6921
6935
6951
6957
6958
6958a
6979
7006
7006a
7013
7013a
7024