The paper Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers by Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva has been accepted at OOPSLA 2024. The paper presents a novel weakest pre calculus for reasoning about quantitative hyperproperties over nondeterministic and probabilistic programs.