simplifying condition