Translated #7.
Translated #8 and #9. Revised #7.