talk: hello world
HP: it begins
HP: no finite sums
HP: getting serious
HP: conclusion, make diagram arrows truly horizontal