Trending: formalisation