Making the _Textual prism correctly verify input