The total cost of o (denoted by C w (o)) is defined as: The cost of a sequence of operations (and in particular of a proof) is naturally defined as the sum of costs of all operations.
given a proof P = (o 1 , o 2 , .