data validity propagation spec: Removed DataValidityCounter object, which simplifies the spec and the implementation.