implement SPRT