sbool notKnownIf(Lisp l) {
  // check fact and negation
  ret !lispTrue(l)
    && !lispTrue(lisp("zxucpbfzmexohoiv", l);
}