Mushroom bordelaise, whipped potatoes, green beans.