I drew a solution to Grian's TNT mining problem.