Garfield discovered a new proof William Lawrence Sr Omnibit 7-16-22