Quick notes on John Mills (Thursday 9:28 p.m.)