What was the result? Is this still opened or is it settled? Again, I cannot imagine Mark Thompson would be posting on LinkedIn (just as I cannot believe John Park would create all this https://www.jp3e.com/) if there were serious, unresolvable issues.