I'd say that's implicit. A computer consists of hundreds of abstractions constructed by apes like ourselves.