The logic of one TP - gollum.space