The point is that the physical process is not like programming or math -- there is a difference between "A becomes B" and "A is used to as a reference when crea

The point is that the physical process is not like programming or math -- there is a difference between "A becomes B" and "A is used to as a reference when creating B", which is conflated all the time in programming unless you are using linear types, which is rare. (Mutating a data structure doesn't give you a new type. Garbage collection does, but that's not part of the semantic model of a programming language).