Beginning of explanation of the translation algorithm.