Revised text and translation of #5.