this also should be determinized I guess