Constructive real analysis door