\set ECHO none
remove_provenance

(1 row)
classification|formula
unclassified|John
restricted|(Nancy ⊕ Nancy ⊕ Paul)
confidential|(Dave ⊕ Dave)
secret|(Ellen ⊕ Susan)
top_secret|(Magdalen ⊕ Magdalen)
(5 rows)
remove_provenance

(1 row)
formula
(Dave ⊕ Dave ⊕ Ellen ⊕ John ⊕ Magdalen ⊕ Magdalen ⊕ Nancy ⊕ Nancy ⊕ Paul ⊕ Susan)
(1 row)