Notes on Baruch Hirson