Egghead? Back in my day they called them “boffins”