真正的魔法:使用数学验证完整性