[Leather 002] abstract number programming