Self-testing (and documenting)