olemus
programmi olek vahetult pärast mingi koodilõigu täitmist
= an assertion that characterizes the state of the program immediately after execution of some piece of code

ülevaateid
https://medium.com/@mlbors/preconditions-and-postconditions-5913fc0fcdaf

https://en.wikipedia.org/wiki/Postcondition