Ilen propadeutische Logik af RNi¬