Proof

constructor(tag: ByteString)