E.8.2.7