Title: Creative, Comprehensive Counting for Arithmetic Enforcement