The paper A Predicate Transformer for Choreographies by Sung-Shik Jongmans and Petra van den Bos, was accepted at the 31st European Symposium on Programming (ESOP 2022).