using Ring for Σ and Π