Tap, you can put the whole alphabet in there and it won't assign the value Sinopec has put on anything. In your formula Sinopec could value B as nil and the JDZ as the prize. It can't be proven... only Sinopec knows.