Minecraft wiki entry for Mining, associated text: Repeat the previous step but while the player are doing so, they will reach the mark they have put before. Now the player have completed the first lap.