Updated TFL and Semantic Logging.