Translated by M. Formatted by Alex.