Translated #13.