Text this: An isomorphism theorem for models of weak König’s lemma without primitive recursion.