Press Sauté and add the knob of butter, add the leeks once the butter has melted and stir to mix them well with the butter. Add lots of freshly ground black pepper.
Sauté for about 5 minutes. If you're feeling brave add just a bit of water and pressure cook for 0 minutes instead. You might get a Burn error but it won't have burnt too bad and you will have deliciously caramelised leeks. Just make sure you deglaze before the next step (remember those Golden Rules).
Press the Manual or Pressure Cook button then use the - and + buttons to programme 4 minutes. Do a quick pressure release at the end (this video tells you how).
Add salt and pepper to taste. Serve and enjoy!