path: root/proof_response_4.txt

For the second row, third column, "M ★ s -> M ★ s" should be replaced with "M ★ s -> Ms".