Heterogeneous Reasoning