simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
simplifies: a b c d e f me
