The Abstract System