Rea's Christmas Session Proofs

2839
2840
2841
2845
2845a
2852
2870
2871
2876
2877
2877a
2881
2881a
2882
2883
2883a
2886
2899
2900
2909
2909a
2917
2917a
2929
2929a
2934
2939
2941
2948
2948a
2967
2979
2979a
2994
3018
3020
3034
3035
3041
3041a
3043
3047
3047a
3065
3070
3073
3073a
3076
3079
3103
3140
3146
3147
3147a
3150
3154
3187
3213
3213a
3215