Enligt fullkomligt säker beräkning , som , säförwänande