On sofic approximations of ${\mathbb{F}}_2\times {\mathbb{F}}_2$

We construct a sofic approximation of ${\mathbb{F}}_2\times {\mathbb{F}}_2$ that is not essentially a “branched cover” of a sofic approximation by homomorphisms. This answers a question of L. Bowen.