3 ms·

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.”