We can never distinguish one logical type from another by attributing a property to members of the one which we deny to members of the other.
5