Translated from the English.