Re: Reopening Issue 26: regularityConstraint

> At present, only the BNF prohibits (@a, a)*.   I think that this is very
> difficult for implementors.

I don't understand your point.  What is difficult for implementors?  The 
BNF prohibits non-regularity.  Why is that not sufficient for implementors?

James