Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? (Logical Methods in Computer Science, 2022)