Puns aren't supposed to be funny - that's the point...but we don't solely rely on puns for humour. There's plenty of jokes that aren't puns in Arch and the rest of the game. :)