I believe it is by definition? The machines that don’t halt are filtered out. The trouble is how to do the filtering.