Task: Translation
Input (Spanish): Specific formulations are provided.
Output (English): Se proporcionan las formulaciones específicas.