Title: Creative Counting for Arithmetic Enforcrment