Control invocation syntax

[Paul Benedict]

The syntax reads:

ControlInvocationStatement:
  foropt Primary ( FormalParameters : ExpressionListopt ) Statement
  foropt Primary ( ExpressionListopt ) Statement

But the "with" method declaration does not use the "for" keyword. Am I
misunderstanding? It is used in Loop Abstractions, which I expect.

Paul