Anfonwch hwn fel neges destun: The pebbling comonad in finite model theory