I was actually thinking of your predictions when I said 'implicit'. How would that prediction be judged? Obviously by whether the community of mathematicians/complexity theorists like Scott Aaronson or the Clay Institute says that it was proven or not proven.