Why might `event->body.tsx_state.tsx` not match `_tsx`?  Worth a comment?  Worth a log if it doesn't match (if this is an unexpected condition)?