I realized that all my tests in fact “Shall test that X holds.”, tautologically.

Now I consider that style boilerplate, and just write “X shall hold.”