Some boolean expressions were simplified