simplify Positive State