"[students chanting] Betty! Betty!"