In the IP, use the Saute button to cook onion in olive oil, with sea salt. · Add 6 cups water and additional sea salt (amount designated in recipe below). · Cook ...