Apartness_relation loading ...