An Intermediate Logic - By J. Welton And door James Welton