All wonderful features. Design by Contract in particular is massively underused in mainstream languages.