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