Fisherman’s pie with carrots and green beans.