Hints in locales