Today, someone who was not me used Blawx to encode a section of law, and encode two tests for that encoding, both of which passed. And they did it without my showing them how. They just used the tutorial, and the examples. And, they did it for work.