Om systemen betrouwbaar te maken, scheidt Aleo de handeling van berekening van de handeling van verificatie. Deze scheiding zorgt voor schaalbaarheid. Hoe noemen we dit ontwerppatroon?