I don't think we currently use not invalid anywhere. The current flow is:

If invalid -> blow up, otherwise continue.