prove test.t