cleanup
now remembering partial proof and replaying them on focus change