r[¬]