Update Basic_Binary_Relation_Theory.mt