samma matematiska säkerhet oell fullständigaste garantier nied noggrannaste kontroll , som omöjliggör försnillningar.