Reflexivity on ∑ at its finest
692