Math is Hard: Thomas’ Arithmometer