Frames and locales