on Abstract Th