Approved.This suggested edit was approved and applied to the post almost 4 years ago by Mithrandir24601.
How can I deduce which operation removes redundacies?
Suggested almost 4 years ago by r~~