The distributive property with variables