Notes on termination and call-by-name parameters.