Text this: Fuzzy equational logic /