https://priopt.blogspot.com/2023/06/distributive-property-with-variables.html