  An elementary rheory of concatenation is introduced and used to establish
mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory,
the quantifier-free part of Kirby's finitary set theory, and Adjunctive Set
Theory, with or without extensionality.
