If is a model with dimension and finite closure, then T() is No-categorical. If is atomic, has dimension and finitely many algebraic elements, then has finite closure or a finite basis. If has finite closure, satisfies the Exchange Lemma, and one-one maps between independent subsets are elementary, then has dimension.