πŸ”’

Mark scheme of the Induction proof's mock (P2)