solution theory