As noted, some of Euler's contemporaries, while accepting his answer to the Basel Problem, wondered about the validity of the argument that got him there.

Nature is unable to repair the extensive injury.

That jacked up refrigerator hasn't moved from that curb in months.

Declarative multi-paradigm languages combine the main features of functional and logic programming, like laziness, logic variables and non-determinism.