Abstract Theory