Almost complete first attempt at breif solver theory explanation