BUT WHAT IS crushed red pepper, REALLY?