I feel confident that the token No Short Provision means nothing. I have reason to believe that the token Provision was included in a lame attempt to protect BoD from legal action which would implicate them as accomplices in illegal shorting. It's nothing more than a meaningless disclaimer.