Samma matematiska säkerhet och fullständigaste garantier med noggrannaste kontroll , som omöjliggör försnillningar.