Reflexivity on ∑ at its finest
615