創発の履歴

Aが真
AならばB
のときのB(真)

ではなくて

AならばB
Bが真
のときのA(?)

だったような.