Simulation and quasilinear theory of proton firehose instability | Synapse