Logical_determinism loading ...