Собственно доказательство было проигнорировано. На вопрос "ну и что?" мне ответить было уже нечего. Парень признал что скорее всего скобки можно открыть только после где то пятого примера.
Но при всем при том парсеры он писал замечательные! И конструкторы для пользовательских отчетов тоже!