fixing bava batra-metziah problem