Proofs - LendMovies
changes