带有标签theory的模型