Week 7 of proofs

Week 7. Let me know if u have doubts about the bot.