Would you like the claim on strongly-typed programs to be true/false? Or would you like it to be true/false/null. Or 0 or not-0. Or truthy. Or uninitialised memory.