If it does halt, then you know it halts.
إذا توقف فستعلم أنه يتوقف.