I would love it if we had better tools to make testing the tests explicit, line inline "This is what this code shouldn't do and it's a problem if there's no test that could catch it if it does" blocks.
When I do functional unit tests, they tend to include the same functional logic as the code to test. What I strive for is then to express it in a different and possibly clearer way, and I see the testing as mutual testing of two implementations, one more easily humanly checkable.
Great topic. But imo Too Soon (to post again).