Minor revision.
Revise to note HA vs HA1 sequences.