is setting up protege set