Hay dos funciones de projección: formula_30 conserva la cinta de entrada, y formula_31 conserva la de salida.