Future teachers facing proof problems: games of interpretation, anticipating thought and coordination between verbal and algebraic register