Mechanism for Cas4-assisted directional spacer acquisition in CRISPR–Cas