It's a bit like design by contract with a postcond...
# kobalt
h
It's a bit like design by contract with a postcondition.