INSTRUCTIONS Add ground beef and onion to the Instant Pot. Using the display panel select the SAUTE function. Cook and stir until no pink remains. Drain any liquids. Add remaining Beef Mixture ingredients and stir to combine. In a small bowl, melt >2 tbsp butter. Whisk in flour and beef broth until smooth. Add to pot and stir to combine. Cook and stir for 3-4 minutes, until sauce begins to thicken. Transfer the beef mixture to a 1 1/2 qt Instant Pot-friendly casserole dish and cover to keep warm. Rinse out the pot, then combine 1 cup water and cubed potatoes in the pot. Turn the pot off by selecting CANCEL, then secure the lid, making sure the vent is closed. Using the display panel select the MANUAL or PRESSURE COOK function*. Use the +/- keys and program the Instant Pot for 8 minutes. When the time is up, quick-release the pressure. Add remaining Potato Mixture ingredients to the pot and mash to desired consistency. Top the beef mixture evenly with the mashed potatoes. Cover the casserole with foil. Rinse out the pot, then add 1 1/2 cups of water and the steam rack. Carefully lower the casserole onto the rack, then secure the lid, making sure the vent is closed. Using the display panel select the MANUAL or PRESSURE COOK function*. Use the +/- keys and program the Instant Pot for 10 minutes. When the time is up, quick-release the pressure. Carefully remove the dish from the pot, top with cheese and let rest for 10 minutes before serving. (Optional) Set under broiler for 5-7 minutes until cheese is lightly browned.