Reasoning with the Rekenrek by A. Giglio Andrews & D. Cushing Liesen