Make the test prove something