recipes specifically designed to be made in an instant pot, a brand of electric pressure cooker.