Loop vs. Bernoulli percolation on trees: strict inequality of critical values | Synapse