Minimal ∗-varieties and superinvolutions | Synapse