Specify and testify