Translated from the Japanese.