For the original recipe and instructions, see: "Pressure Cooker Halibut Fillets with Tomatoes and Olives" at magicskillet.com
Was a bit firm. It might be because the instant pressure cooker doesn't let you change the temperature. I am going to try to just release and turn off heat after pressure up and count the minutes since it's a small number of minutes.
"A mere listing of ingredients is not protected under copyright law. However, where a recipe or formula is accompanied by substantial literary expression in the form of an explanation or directions, or when there is a collection of recipes as in a cookbook, there may be a basis for copyright protection."
On this site, for recipes written by others, the ingredients are listed and a link to the original recipe has been provided.