go back

∞∞(σ∧σ*)∞∞