refer back to defn of Cauchy approximations, close #212