Homogeneous_binary_relation loading ...