Petrie ( England ).