Statements can't be empty; maybestatements can.

This resolves some ambiguity, since you can put statements in argument lists.