Work on LR(finite) argument