Gerald Allan Jerry Cohen : in memoriam