RIP Christopher Coll (1938-2021)