Prawdziwa magia: Używanie matematyki do weryfikacji integralności