Tag: quantum contract analysis