Aim 4-5 Simplifying with Distributive Prop.