Start going from the required differential then the intermediates. We
can then demonstrate that we have to go backwards