aspects model theory