mathematician cat (√cat) - Pump