E.4.1.7