How could a lemming maybe figure something out about the map and make a proof of it then transfer that to another map and verify it?
How could a lemming maybe figure something out about the map and make a proof of it then transfer that to another map and verify it?