[ more ] dealing with par (intro / elim)