[hs86]

I once didn't understand the task given in an exercise sheet for a CS logic lecture, so I googled the topic, and all Google did was send me back to that exact exercise sheet.