Gross-Zagier formula: why is it right?