Correction Determinize()