Willis : a short history /