How is a theoretical (i.e. unproven in court), implicit license better than an explicit license you only lose in the event of patent litigation that you initiate?