maybe some simplification here
better
still better
about to try to prove refling lemma
IMPORTANT CHECKPOINT here is where I'm going to start trying to solve for lema1
cleanup
stumped
scrap everything
no I need 2pointed
ugh don't like this either, gonna try to proceed axiomatically
no this looks suspicious too
this felt like it was on the right track but got too hard
save to process ecavallo's proof
thinking
trying to define natural transformation this way
thinking about naturality
haha this totally doesn't work