https://rebekahloper.com/2014/06/09/on-further-simplification-first-steps/