| http://www.w3.org/ns/prov#value | - The reason for the one less is to avoid a bordercase where due to counter wrapping the adversary accidently wraps the counter around, voiding the counter, unless there is a specific check for this the adversary has simply reset the counter, not locked up the system.
|