take X --> jj ; :: thesis: X --> jj is positive-yielding
thus X --> jj is positive-yielding ; :: thesis: verum