The contracts assert what must be true before a routine is executed (precondition) and what must hold to be true after the routine finishes (post-condition).
Уговори потврђују шта мора бити тачне пре него што је рутина извршена (предуслов) и шта мора чекати да буде тачно након што се рутина заврши (пост-услов).