As I have explained you can search the late Brian
Lawson's indexes for yourself. He left them in the care
of iomfhs & anyone can search them ,you do not
have to be a member---access is free.