Revise section 4. Not done yet.