What’s the difference between an alligator and a crocodile? So glad you asked! Fans of Lyle the Crocodile and comic duos like George and Martha will find a new favorite pair in Pedro and George.

Pedro and George are fed up with the children of the world getting them confused. Pedro is a crocodile, and George is an alligator. There’s a difference, you know!

This determined pair decides to go on a mission to prove who’s who, once and for all. Pedro packs two sandwiches, a toothbrush, a comb, and off they go. (The comb, of course, is only for show.) The classroom at the other end of the world is unsurprisingly shocked by their arrival—but after a little learning and a lot of chaos, Pedro and George head back home to their ordinary tasks of sorting toothpicks and repainting their bathrooms, satisfied that they’ve taught an important lesson. Or so they think!

This wry, hilarious story might help you remember the difference between crocodiles and alligators—but it will definitely give you the giggles.