Model-complete theory