TXCE: TXRE Verification

Follow