`Simplify` not quite working, but made progress