Translated from Japanese.