OAI.Cotype.mainTarget_proved