Lawrence–Sullivan models for the interval

Two constructions of a Lie model of the interval were performed by R. Lawrence and D. Sullivan. The first model uses an inductive process and the second one comes directly from solving a differential equation. They conjectured that these two models are the same. We prove this conjecture here.