geodesic congruences; geometry