New: positivityrules