Task: Translation
Input (Spanish): are specifically claimed.
Output (English): *FORMULA*