reasoning can be analogical