tim comments on Logical Pinpointing

[tim]

I agree that the use of S here was confusing. Also, there is one too many right parens.