Translate 6.2.5 and beginning of 6.2.6