one that simplifies [n SIMPLIFIERS]
140,406 of 196,601 in NWL2023·also valid in CSW24
something that simplifies [n -S]
223,363 of 280,887 in CSW24·also valid in NWL2023