If you have children, at some time or another you’ve probably urged them to eat their broccoli, “Children, eat your trees!”

Then, there’s former President George Bush, Sr., who complained, “I do not like broccoli. And I haven’t liked it since I was a little kid and my mother made me eat it. And I’m President of the United States and I’m not going to eat any more broccoli.”

In spite of former President Bush’s aversion to broccoli, it …