Magic Pump

A silly request for a magic water pump inflating Isabelle. Sometimes we just have to go with it :P