The diameter of some of the rock cores was definitely larger than that of cores cut in petroleum boreholes! (H.M. Bürgisser)