Jotta järjestelmät olisivat luotettavia, Aleo erottaa laskennan todentamisesta. Tämä erottelu varmistaa skaalautuvuuden. Miksi kutsumme tätä suunnittelumallia?