We investigate rigorously the properties of the Butcher upper and lower algebras introduced earlier. This investigation provides a new representation of the order conditions which leads to a new approach to simplifying conditions and a way to obtain new methods of high orders explicitly.