The full binary tree cannot be interpreted in a chain

Abstract:
We show that  for no chain C there is a monadic-second order
interpretation of the full binary tree in C.