Enligt fullkomligt säker beräkning , som,