Proving Her Wrong with Rigor