Cook pork tenderloin on high heat, and brown all sides. Slice and bake again for a few minutes. Add butter and basil mustard and you’re done