I'd idly day-dreamed about doing this a long time ago, IIRC while reading Meyer's Object-Oriented Software Construction.[1] There have to be penalties for break

I'd idly day-dreamed about doing this a long time ago, IIRC while reading Meyer's Object-Oriented Software Construction.[1] There have to be penalties for breaking your contracts! Otherwise they're not worth the pixels they're displayed with. Thank you so much for doing it! 1. On checking on Wikipedia, I see there's a second edition now.