The Progressive Higher Arithmetic door