Binary_relation loading ...