https://9dok.net/document/q7wkprrv-programming-by-contract.html