Starting the algorithm rewriting