Comment by spindle

Many congratulations on being formally proved right, Randall!