3 ms·Oh. I think I was confused, arrows can be equal (extensionally so), but not the 'same'.by runT1ME 12y agoOh. I think I was confused, arrows can be equal (extensionally so), but not the 'same'.