stuff
merge
more reduce proofs