Hedges, 2017. Coherence for lenses and open games.