case expr instead of conditional; prevent inf loop
cleaning; debug neg; rel clauses; update examples