I am actually excited for post and pre conditions. I think they are an underused feature in most languages.