If Cons(F) is expressed via a specific arithmetical encoding, different encodings can yield extensio...