  We give an elementary proof that Davie's definition of a solution to a rough
differential equation and the notion of solution given by Bailleul in (Flows
driven by rough paths) coincide. This provides an alternative point on view on
the deep algebraic insights of Cass and Weidner in their work (Tree algebras
over topological vector spaces in rough path theory).
