A note on pre and post conditions | Dark Hacker News