take <% the sequential Instruction of SCM+FSA%> ; :: thesis: <% the sequential Instruction of SCM+FSA%> is pseudo-paraclosed
thus <% the sequential Instruction of SCM+FSA%> is pseudo-paraclosed ; :: thesis: verum