Sure enough, it’s basically impossible to recreate human knowledge by checking everything yourself to see if it’s true; but something so basic really is easy to verify.