Keyword: grossenbaum 0