Finished adding samples for Simplifying Conditional Expressions.