Running a witness at -costs