https://math.stackexchange.com/questions/1563/example-of-non-isomorphic-structures-which-are-elementarily-equivalent