CJC's approach to mathematics - with Peter Sullivan