Expresamente, las salidas son diferenciadas de estados.