Ditto comment above about `AXXX` choices.