ok something about integral points on elliptic curves from 10/12