Model completeness

Summary