Lax proper maps of locales

We give a proof of localic Priestley duality. Our approach is based on lax proper maps of locales, which provide a vehicle for presenting the Priestley version of full Stone duality constructively and preserve spatial intuitions.