Can You Write a Property Base Test to Check if an Email Address Is Validated?

You can do example base tests. You can also do property base tests, does the whole set of operations maintain a certain property? So one example is, if you have a, like, a user loggin system, and when the user registers, you know, often you want to confirm their email address. It's something that you can do on the specification and learn ahead of time, like, oh, this specification is not giving us the properties we want before you write the code for it.