Text this: Fuzzy Equational Logic