4.7 partially omitted