Zambella's characterization presupposes a fixed encoding of finite objects into binary strings, but ...