Redirecting to Distributivity