amazina bwite y'ahantu afite indomo theorems in the system are terms of a special theorem abstract data type he is the son of jazz trumpeter jimmy maxwell