Count Arithmetic Definition