proof corrections and code backgrounds