1: \begin{abstract}

2: We show that any finite-entropy, countable-valued finitary factor of an \iid\ process can also be expressed as a finitary factor of a finite-valued \iid\ process whose entropy is arbitrarily close to the target process. %The result holds in a  general setting which includes most transitive amenable graphs and all countable amenable groups.

3: As an application, we give an affirmative answer to a question of van den Berg and Steif~\cite{van1999existence} about the critical Ising model on $\Z^d$.

4: En route, we prove several results about finitary isomorphisms and finitary factors. Our results are developed in a new framework for processes invariant to a permutation group of a countable set satisfying specific properties. This new framework includes all ``classical'' processes over countable amenable groups and all invariant processes on transitive amenable graphs with ``uniquely centered balls''. Some of our results are new already for $\Z$-processes. We prove a relative version of Smorodinsky's isomorphism theorem for finitely dependent $\Z$-processes. We also extend the Keane--Smorodinsky finitary isomorphism theorem to countable-valued \iid\ processes and to \iid\ processes taking values in a Polish space.

5: \end{abstract}

6: