Jan 27-31, 2020
MON: continue working on SI #7 sketches due @ end; continue working on ACA Domain 2 module
TUE: continue working on SI #7; continue working on ACA Domain 2 module
WED: continue working on SI #7; continue working on ACA Domain 2 module
THU: continue working on SI #7 proof due @ end; continue working on ACA Domain 2 module
FRI: continue working on SI #7 proof due @ end; continue working on ACA Domain 2 module