πŸ”’

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