A bit of GP history