Model Theoretical Framework