Formal Translation for Humanoid