I think I checked these with jeff, but I'm ok either way.