Soft_determinism loading ...