“…One way to bound the cardinality of E(K, S) is to exploit the fact that, in a certain sense, the points of E(K, S) tend to be separated from each other. This idea is already present in [Sil6], [GS]; let us consider it in the manner of [He,§4]. After some modest slicing of E(K, S), we see that any two points on the same slice are separated by almost 60…”