47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), volume 168 of Leibniz International Proceedings in Informatics (LIPIcs), pages 40:1-40:14, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik.