Intelligible differentia and rational nexus