Scrum guide mentions :
If the work turns out to be different than the Development Team expected, they collaborate with the Product Owner to negotiate the scope of Sprint Backlog within the Sprint.
I am confused about when do the do it? Is there a formal meeting or just ad-hock meeting between PO and Dev team?