Keyword: koecherbaum 6