Added Redheffer function.