I will show how to strengthen the Elekes-Szabó result, that any ternary algebraic relation in characteristic 0 having large intersections with (certain) finite grids must essentially be the graph of a group law, by weakening the combinatorial hypothesis to an asymmetric situation modelled on a group action; the proof will go via first obtaining then disposing of an algebraic group action. This is recent work with Tingxiang Zou.