some output for tracing TPTP lets