translated 4.1.6.