Call-by-need, neededness and all that.