completed deterministic primacy test