Today, T (almost 3) issued his first statement of the form “if not P then Q”; determined that not-P; on that basis, requested Q; and determined that Q.