David Allen 1935-2014