Tag: quantum proof techniques