Simplifying & Variable Restrictions