Progressive Primary Arithmetic