Text 19.  If “every J is possibly B” or “some J is possibly B”, then “some B is possibly J” (as a one-sided possibility proposition); were that not the case, then no B is possibly J, which as you know amounts to “necessarily no B is J”, which converts to “necessarily no J is B”; this is absurd. (Avicenna Ishârât [1971] 339ff.)