> Give me a compelling reason to design programs in an object-oriented way. Just to be clear, I don't find the ability to subvert existing definitions particularly attractive, because it undermines my ultimate goal to actually prove things about my programs.

Probably there are other software developers with other requirements. A large share of contemporary software is written in an object-oriented way.

Or is OOP a big swindle???

http://docs.racket-lang.org/swindle/