[Quartz 002] abstract number programming