Next he prepared tables for each of the right coset spaces formula_6. For each element he found a sequence of moves that took it to the next smaller group. After these preparations he worked as follows. A random cube is in the general cube group formula_7. Next he found this element in the right coset space formula_8. He applied the corresponding process to the cube. This took it to a cube in formula_9. Next he looked up a process that takes the cube to formula_10, next to formula_11 and finally to formula_12.