(^) `deterministic´ => `safe´