Text this: Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?