A contrived example is now working with simplifications