Many thanks. Makes a lot of sense. Care to speculate on when mediation will end, and whether it will end in a settlement?