setting up protege set