Closed mcr closed 1 year ago
The different kinds of assertion: verified, logged, proximity and agent-proximity have different properties, and are not easily compared as to strengh. Rather than attempt to justify this, just remove comment.
fixed in b47d861
mcr
commented
1 year ago
The different kinds of assertion: verified, logged, proximity and agent-proximity have different properties, and are not easily compared as to strengh. Rather than attempt to justify this, just remove comment.