Add section on infinite regress arguments