Auto-Logic in the news