If you used a programming language where you could only create (prod-footprint) and modify the state of (op-footprint) objects but you could never garbage colle

If you used a programming language where you could only create (prod-footprint) and modify the state of (op-footprint) objects but you could never garbage collect them … what would you think of that language? Don't you need + Disposal-Footprint(EV-Van) and + Disposal-Footprint(ICE-Van) tacked on to the end of both of your equations? EV and ICE vans don't magically poof! into thin air once you're done with them.