negative rule post-processing initial version