Christopher Alexander has died