Library

A wee trip through to Glasgow to see a new client. All good fun but a wee wander around the university always brings back unhappy memories of many hours spent in the library just not getting it. Proof by induction, in particular.