removed permission`left-preserves-equiv, since
we have combine-left-cancels.