 So interesting. So they looked at 451 people who are around retirement age, they called it, and they did a randomised controlled trial effectively. They were all similar in terms of their basic health and their weight and their activity to start with, but then they were randomly split into three groups.