BUT WHAT IS filet mignon, REALLY?