Formalize tests.