Data Structures Used in Aries