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