Dat we de Structuur en werking van systemen op een zodanig hoog abstractieniveau kunnen beschrijven dat we erover kunnen redeneren en er uitspraken over kunnen doen, zonder dat we hoeven te spreken in termen van concrete programmatuur of technologie.