Views:

 

Termination types for TC’s and Black Stack’s.