take Directed the Program of ; :: thesis: Directed the Program of is halt-free
thus Directed the Program of is halt-free ; :: thesis: verum