toTikZ: progression of level exploration