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