How many children did William Harvey have?

none