La práctica de desarrollar primero una definición clara y precisa de un proceso sin tener en cuenta la eficiencia, y utilizarla después como guía y prueba para explorar procesos equivalentes que posean otras características, como una mayor eficiencia, es muy común en matemáticas. Se trata de una práctica muy fructífera que no debería verse empañada por un énfasis prematuro en la eficiencia en la ejecución informática.