Then your assertion was also tangential, as whether or not people have been successful at producing complicated software with OOP has very little to do with whe

Then your assertion was also tangential, as whether or not people have been successful at producing complicated software with OOP has very little to do with whether or not it has been discredited. People have been very successful at producing complex software that uses goto, but goto has been discredited. This is not because people thought that goto made it impossible to produce complex software, but because people thought that goto did not promote local reasoning well, which is similar to my objections to OOP. Either way, my point was that there are many other paradigms that have been equally successful; that suggests that we should be looking at its other objective downsides in determining whether or not to add it to a programming language, rather than simply assume that it should be there.