local_determinacy
