Necessarily co-extensional properties can still be distinct: 'triangular' and 'trilateral' differ in...