A conversation with John Austin of Bengal