if something is false, then it cannot be true