https://profilpelajar.com/en/Machine_that_always_halts