On some peculiar aspects of the constructive theory of point-free spaces.