EOM, cleaned up some code, templating modals, saving/loading proofs syling