The logic of one TP

 

v20240901