Models proves