Draft of LR(finite) argument
Rewrite