update pretest to make it concrete