Tag: verifiable observations