Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", but also a way of manipulating "resources" that cannot always be duplicated or thrown away at will.