John Wallis at 400: a workshop on Science, Mathematics, and Religion in 17th-c. England