Ken and Mike

Could it be that Mike's 1883 drilling was built on the Lefever @1880 patent?