chi ha chiamato $pippin presto?