发送短信: The pebbling comonad in finite model theory