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