It's sad when man’s built-in functions seem logically incorrect. The funny thing is that the only verification tools for our built-in functions are our built-in functions.