On Frazier’s penalty (sorry if already posted)