Temporarily thrown out models and theories sections