From Apartness to Integrated