CAT arithmetic concepts