The word problem for free adequate semigroups.