Who knows? But the problem of licenses is inherently practical, so no theoretical cases apply :)