Text this: Ecuaciones para retículos distributivos con cuantificador