> We should apparently read every function's specification carefully.... These are unrealistic assumptions in modern software.

Lol