Jimmy Carter, the late U.S. president who served only one term in office and was widely admired for his humanitarian work after leaving the White House, was remembered during his state funeral on Thursday as a man who put honesty and kindness above partisan politics.

One of the first calls Obama made after U.S. forces killed Osama bin Laden in 2011 was to George W. Bush to spread the word that the mission had been accomplished, said Kate Andersen Brower, author of “Team of Five: The Presidents Club in the Age of Trump.”

Trump is obviously no fan of Biden, but Obama and his veep also have a famously complex relationship, only made more so after Obama helped nudge Biden to quit the presidential race last summer. Surely Obama feels some frustration that Biden fumbled a possibly winnable race; maybe he couldn’t help spill to his sworn enemy?