A note on pre and post conditions · HackerTrans