changes to theory doc in light of @coderoshi comments