Before revision: This leads to combinatorial game theory as developed by J.
After revision: This leads to combinatorial game theory as developed by