I want a focused Ederson to return but it’s pretty clear that’s not going to happen, so as much as I think he’s better than Ortega, we still have to let him go in the summer. And let’s be clear, Ortega isn’t good enough to be our no.1, so if we are serious about being a top team again, we need 2 new keepers in the summer. Ederson should leave and Ortega should be thanked for his services but told he is not the number 1. If he wants to continue as no.2 he’d be more than welcome to, we’d love it. But obviously it’s highly likely he’d want to leave too.