Add output example and description of the solution theory