[Cork 002] abstract number programming