Title: Reasoning with the Rekenrek