[Pebbles 004] abstract number programming