Mentioned semantics (sum vs Sigma)