R7.6.16 (25)