Avicenna rejected the conversion of the possibility e-proposition (“no J is necessarily B”) with the same counter-example used to reject absolute e-conversion (“no man is necessarily laughing”). And he argued for the conversion of the possibility a- and i-propositions as i-propositions: