proved progress of TLiteral