When two distinct objects both satisfy the identity conditions for O, the relation 'same ship as' ca...