ABS - Abstract Theory