here it created a bunch of property test tests. And these are really special tests. It uses fast check in this TypeScript in the node world to do these tests which actually run dozens if not hundreds of times with different values to make sure that it's uh these requirements are satisfied correctly, which is really nice. And then it created this requirements document in once again this EARS format, so it's really uh very simple with these user stories, requirements. Uh let me see if I can open it up again. Here's it in preview. Uh so here's the requirements document. Requirements one, movie data loading. When the application initialize, the filter engine shall load. So it kind of gives you step-by-step exactly what's uh what it's doing here.