I believe I have solved for the closest pair of points on a pair of skew lines. Not quite finished; this is work in progress.