and discussion just above this