Mutual definability does not imply definitional equivalence, a simple example