eyepl warning: unstratified negation
  r/1 depends negatively on p/1