(18 Oct 21) Distributive law and Factorising introduction