  Miquel dynamics is a discrete-time dynamical system on the space of
square-grid circle patterns. For biperiodic circle patterns with both periods
equal to two, we show that the dynamics corresponds to translation on an
elliptic curve, thus providing the first integrability result for this
dynamics. The main tool is a geometric interpretation of the addition law on
the normalization of binodal quartic curves.
