It handles recursive simplification of the conditions (they can be arbitrary expressions, not just Symbols). This parameter is useful, because sometimes you really want the simplest thing, all the way down, and sometimes you just want to simplify the expression as a logical expression.