Towards_Keeperhood comments on Verification Is Not Easier Than Generation In General

[Towards_Keeperhood]

Likewise, for some specific programs we can verify that they halt.