(19 Oct 21) Fact families for multiplication and division