A bit more sync. eqn(1) is the hardest part.