Would someone care to lend some context to the "vache" statement made under the Hard Lefschetz Theorem heading?