They arent required but people would like it. But yea no if they dont fix this deal that burden will fall ON Sony and the MCU will March on like Spidey never existed. With stark gone it doesnt effect the MCU too much. Hope they find another way to bring Happy back into the MCU. Love the character.