Consider the 2-bit predictor shown in the Figure below, and assume the predictor starts at the top-left state (i.e., the "strongly predict taken" state). Given the branch outcome sequence: N, T, N, N, T, (where T = taken, N = not-taken), which of the following statements are correct?