take the parahalting Program of SCM+FSA ; :: thesis: the parahalting Program of SCM+FSA is paraclosed
thus the parahalting Program of SCM+FSA is paraclosed ; :: thesis: verum