A form of conjectural reasoning on equivalence, ascription preliminary report - Arima, Jun (1986)