[Abstract 004] abstract number programming