Paul and the magic frog