see if Travis passes with prove