\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)