Extensionalism and induction in Boole - Bar-Am, Nimrod (2004)