  We exhibit two relation algebra atom structures such that they are
elementarily equivalent but their term algebras are not. This answers Problem
14.19 in the book Hirsch, R. and Hodkinson, I., "Relation Algebras by Games",
North-Holland, 2002.
