In 1880 he wrote, "We draw two circles, and make them include or exclude or intersect one another"
Who is John Venn?