Title: Record's Arithmetic