a statement can be becoming true