Reduce boilerplate in specifications
Become self-testing