Así, si un objeto no puede cambiar de un estado a otro, entonces es un constructo formula_15, no una cosa formula_5; es decir, formula_17.