Translated into Japanese.