Draft:Factor out


 * 1) REDIRECT Distributive_property