Arrays and fact families

I've used bar modelling a lot to teach the commutative law and inverse.

It also supports the idea that each times table fact has four facts that go with it, known as a fact family. This is demonstrated with the concrete model below which then leads into the more abstract notion using just numbers: