lecture07: geodesics