ATR points were introduced by Darmon as a conjectural con- struction of algebraic points on certain elliptic curves for which the Heegner-point method is not in general available. So far, the only numerical evidence, ...