a statement can fail to be true