"><b>: </b><span>q <span class="bp">‚àß</span> p</span></span></span><br></div><label class="goal-separator" for="literate-lean3-lean-chkf"><hr></label><div class="goal-conclusion">q</div></blockquote></div></div></div></small><span class="alectryon-wsp">
</span></span><span class="alectryon-wsp">    </span><span class="alectryon-sentence"><input class="alectryon-toggle" id="literate-lean3-lean-chk10" style="display: none" type="checkbox"><label class="alectryon-input" for="literate-lean3-lean-chk10">ap