Filtration monotonicity under refinement. One has
Logarithmic evaluation conjecture. For all k≥1k\geq 1k≥1,