explicit eqns from barash 2005