That was a terribly brief press appearance the president made right before declaring Democrat happy hour. So, no, we don’t know either.