> Programs that never halt but for which there is no proof

> We just can’t give a specific example.

This is the third category of such programs per author.