Relative identity requires that 'same F' relations be transitive within a sortal kind, so 'same bein...