Task: Translation
Input (Spanish): Formula (0).
Output (English): Formula (0).