Ravichandran Ashwin, the Encyclopedist