Update Basic_Binary_Operation_Properties.mt