ELEMENTARY THEORIES