We can write a general procedure to see it any given program halts within n-steps however.