You'd imagine something like that would happen though '_'

:nat