Arreglado problema con forwardSubstitution