A single-branch state `S(a;