#mathematical verification - TrendCloud