Lambda the Ultimate is now dead