'O keep/forget Sigma keep L'
'O with subst'