static L<O> plusNegation(O o) {
  if (o cast Not)
    ret ll(o, o.a);
  else
    ret ll(o, new Not(o));
}