Who were John Venns peers or any mathematicians working on the same thing as John during the same time as him?