Solution theory