more work on paper
organized better
add lemma
very very dumb paper
typeo fix