Title: The notion-counter