Not only that but you can arbitrarily encode constraints. Want to check something silly like whether there&#x27;s an even number of elements in a list? Yea you can do that, and pass it along. I can do stuff like, okay, I know the max size of the files we&#x27;re going to accept is 1mb.