Agenda for Lab 7:

• ProofsGroup