Talk:John Flavel (logician)