made onliner from grad
added slides between proofs